منابع مشابه
The Tate conjecture over finite fields (AIM talk)
These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23–July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to suggest directions for research. v1 (September 19, 2007): first version on the web. v2 (October 10, 2007): revised and expanded. v2.1 (November 7, 2007) Minor f...
متن کاملAim Project-concept Document Aim Scheduler Designs and Implementations
In this document, we discuss the philosophy, theory, and practice of scheduling computational processes on target hardware in the context of the Adaptive Image Manager (AIM) project. Emphasis is placed on (a) operational constraints, (b) highand low-level structure and functionality of technique, (c) algorithms and statistical analysis, and (d) design and performance analysis of the prototype a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2019
ISSN: 1898-9934,1426-2630
DOI: 10.2478/forma-2019-0027